{
 "cells": [
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "# 凸性\n",
    ":label:`sec_convexity`\n",
    "\n",
    "*凸性*（convexity）在优化算法的设计中起到至关重要的作用，\n",
    "这主要是由于在这种情况下对算法进行分析和测试要容易得多。\n",
    "换言之，如果该算法甚至在凸性条件设定下的效果很差，\n",
    "通常我们很难在其他条件下看到好的结果。\n",
    "此外，即使深度学习中的优化问题通常是非凸的，\n",
    "它们也经常在局部极小值附近表现出一些凸性。\n",
    "这可能会产生一些像 :cite:`Izmailov.Podoprikhin.Garipov.ea.2018`这样比较有意思的新的优化变体。\n",
    "\n",
    "\n",
    "## 定义\n",
    "\n",
    "在进行凸分析之前，我们需要定义*凸集*（convex sets）和*凸函数*（convex functions）。\n",
    "\n",
    "### 凸集\n",
    "\n",
    "*凸集*（convex set）是凸性的基础。\n",
    "简单地说，如果对于任何$a，b \\in \\mathcal{X}$，连接$a$和$b$的线段也位于$\\mathcal{X}$中，则向量空间中的一个集合$\\mathcal{X}$是*凸*（convex）的。\n",
    "在数学术语上，这意味着对于所有$\\lambda \\in [0, 1]$，我们得到\n",
    "\n",
    "$$\\lambda  a + (1-\\lambda)  b \\in \\mathcal{X} \\text{ 当 } a, b \\in \\mathcal{X}.$$\n",
    "\n",
    "这听起来有点抽象，那我们来看一下 :numref:`fig_pacman`里的例子。\n",
    "第一组存在不包含在集合内部的线段，所以该集合是非凸的，而另外两组则没有这样的问题。\n",
    "\n",
    "![第一组是非凸的，另外两组是凸的。](https://d2l.ai/_images/pacman.svg)\n",
    ":label:`fig_pacman`\n",
    "\n",
    "有了定义做什么呢？\n",
    "我们来看一下交集 :numref:`fig_convex_intersect`。\n",
    "假设$\\mathcal{X}$和$\\mathcal{Y}$是凸集，那么$\\mathcal {X} \\cap \\mathcal{Y}$也是凸集的。\n",
    "现在考虑任意$a, b \\in \\mathcal{X} \\cap \\mathcal{Y}$，\n",
    "因为$\\mathcal{X}$和$\\mathcal{Y}$是凸集，\n",
    "所以连接$a$和$b$的线段包含在$\\mathcal{X}$和$\\mathcal{Y}$中。\n",
    "鉴于此，它们也需要包含在$\\mathcal {X} \\cap \\mathcal{Y}$中，从而证明我们的定理。\n",
    "\n",
    "![两个凸集的交集是凸的。](https://d2l.ai/_images/convex-intersect.svg)\n",
    ":label:`fig_convex_intersect`\n",
    "\n",
    "我们可以毫不费力地进一步得到这样的结果：\n",
    "给定凸集$\\mathcal{X}_i$，它们的交集$\\cap_{i} \\mathcal{X}_i$是凸的。\n",
    "但是反向是不正确的，考虑两个不相交的集合$\\mathcal{X} \\cap \\mathcal{Y} = \\emptyset$，\n",
    "取$a \\in \\mathcal{X}$和$b \\in \\mathcal{Y}$。\n",
    "因为我们假设$\\mathcal{X} \\cap \\mathcal{Y} = \\emptyset$，\n",
    "在 :numref:`fig_nonconvex`中连接$a$和$b$的线段需要包含一部分既不在$\\mathcal{X}$也不在$\\mathcal{Y}$中。\n",
    "因此线段也不在$\\mathcal{X} \\cup \\mathcal{Y}$中，因此证明了凸集的并集不一定是凸的，即*非凸*（nonconvex）的。\n",
    "\n",
    "![两个凸集的并集不一定是凸的。](https://d2l.ai/_images/nonconvex.svg)\n",
    ":label:`fig_nonconvex`\n",
    "\n",
    "通常，深度学习中的问题是在凸集上定义的。\n",
    "例如，$\\mathbb{R}^d$，即实数的$d$-维向量的集合是凸集（毕竟$\\mathbb{R}^d$中任意两点之间的线存在$\\mathbb{R}^d$）中。\n",
    "在某些情况下，我们使用有界长度的变量，例如球的半径定义为$\\{\\mathbf{x} | \\mathbf{x} \\in \\mathbb{R}^d \\text{ and } \\| \\mathbf{x} \\| \\leq r\\}$。\n",
    "\n",
    "### 凸函数\n",
    "\n",
    "现在我们有了凸集，我们可以引入*凸函数*（convex function）$f$。\n",
    "给定一个凸集$\\mathcal{X}$，如果对于所有$x, x' \\in \\mathcal{X}$和所有$\\lambda \\in [0, 1]$，一个函数$f: \\mathcal{X} \\to \\mathbb{R}$是凸的，我们可以得到\n",
    "\n",
    "$$\\lambda f(x) + (1-\\lambda) f(x') \\geq f(\\lambda x + (1-\\lambda) x').$$\n",
    "\n",
    "为了说明这一点，让我们绘制一些函数并检查哪些函数满足要求。\n",
    "下面我们定义一些函数，包括凸函数和非凸函数。\n"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "%load ../utils/djl-imports\n",
    "%load ../utils/plot-utils\n",
    "%load ../utils/Functions.java"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "import ai.djl.ndarray.*;"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "import tech.tablesaw.plotly.traces.ScatterTrace;\n",
    "import tech.tablesaw.plotly.components.Axis.Spikes;\n",
    "\n",
    "// ScatterTrace.builder() does not support float[],\n",
    "// so we must convert to a double array first\n",
    "public double[] floatToDoubleArray(float[] x) {\n",
    "    double[] ret = new double[x.length];\n",
    "    for (int i = 0; i < x.length; i++) {\n",
    "        ret[i] = x[i];\n",
    "    }\n",
    "    return ret;\n",
    "}\n",
    "\n",
    "public Figure plotLineAndSegment(float[] x, float[] y, float[] segment, Function<Float, Float> func, \n",
    "                                 int width, int height) {\n",
    "    ScatterTrace trace = ScatterTrace.builder(floatToDoubleArray(x), floatToDoubleArray(y))\n",
    "        .mode(ScatterTrace.Mode.LINE)\n",
    "        .build();\n",
    "\n",
    "    ScatterTrace trace2 = ScatterTrace.builder(floatToDoubleArray(segment), \n",
    "                                               new double[]{func.apply(segment[0]), \n",
    "                                               func.apply(segment[1])})\n",
    "        .mode(ScatterTrace.Mode.LINE)\n",
    "        .build();\n",
    "\n",
    "    Layout layout = Layout.builder()\n",
    "        .height(height)\n",
    "        .width(width)\n",
    "        .showLegend(false)\n",
    "        .build();\n",
    "\n",
    "    return new Figure(layout, trace, trace2);\n",
    "}"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "Function<Float, Float> f = x -> 0.5f * x * x; // 凸函数\n",
    "Function<Float, Float> g = x -> (float)Math.cos(Math.PI * x); // 非凸函数\n",
    "Function<Float, Float> h = x -> (float)Math.exp(0.5f * x); // 凸函数\n",
    "\n",
    "NDManager manager = NDManager.newBaseManager();\n",
    "\n",
    "NDArray X = manager.arange(-2f, 2f, 0.01f);\n",
    "float[] x = X.toFloatArray();\n",
    "float[] segment = new float[]{-1.5f, 1f};\n",
    "\n",
    "float[] fx = Functions.callFunc(x, f);\n",
    "float[] gx = Functions.callFunc(x, g);\n",
    "float[] hx = Functions.callFunc(x, h);\n",
    "\n",
    "display(plotLineAndSegment(x, fx, segment, f, 350, 300));\n",
    "display(plotLineAndSegment(x, gx, segment, g, 350, 300));\n",
    "display(plotLineAndSegment(x, hx, segment, h, 350, 300));"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "不出所料，余弦函数为非凸的，而抛物线函数和指数函数为凸的。\n",
    "请注意，为使该条件有意义，$\\mathcal{X}$是凸集的要求是必要的。\n",
    "否则可能无法很好地界定$f(\\lambda x + (1-\\lambda) x')$的结果。\n",
    "\n",
    "### 詹森不等式\n",
    "\n",
    "给定一个凸函数$f$，最有用的数学工具之一就是*詹森不等式*（Jensen's inequality）。\n",
    "它是凸性定义的一种推广：\n",
    "\n",
    "$$\\sum_i \\alpha_i f(x_i)  \\geq f\\left(\\sum_i \\alpha_i x_i\\right) \\text{ and } E_X[f(X)] \\geq f\\left(E_X[X]\\right),$$\n",
    "\n",
    "其中$\\alpha_i$是非负实数，因此$\\sum_i \\alpha_i = 1$且$X$是随机变量。\n",
    "换句话说，凸函数的期望不小于期望的凸函数，其中后者通常是一个更简单的表达式。\n",
    "为了证明第一个不等式，我们多次将凸性的定义应用于一次求和中的一项。\n",
    "\n",
    "詹森不等式的一个常见应用：用一个较简单的表达式约束一个较复杂的表达式。\n",
    "例如，它可以应用于部分观察到的随机变量的对数似然。\n",
    "具体地说，由于$\\int P(Y) P(X \\mid Y) dY = P(X)$，所以\n",
    "\n",
    "$$E_{Y \\sim P(Y)}[-\\log P(X \\mid Y)] \\geq -\\log P(X),$$\n",
    "\n",
    "这里，$Y$是典型的未观察到的随机变量，$P(Y)$是它可能如何分布的最佳猜测，$P(X)$是将$Y$积分后的分布。\n",
    "例如，在聚类中$Y$可能是簇标签，而在应用簇标签时，$P(X \\mid Y)$是生成模型。\n",
    "\n",
    "## 性质\n",
    "\n",
    "下面我们来看一下凸函数一些有趣的性质。\n",
    "\n",
    "### 局部极小值是全局极小值\n",
    "\n",
    "首先凸函数的局部极小值也是全局极小值。\n",
    "我们用反证法证明它是错误的：假设$x^{\\ast} \\in \\mathcal{X}$是一个局部最小值，使得有一个很小的正值$p$，使得$x \\in \\mathcal{X}$满足$0 < |x - x^{\\ast}| \\leq p$有$f(x^{\\ast}) < f(x)$。\n",
    "假设存在$x' \\in \\mathcal{X}$，其中$f(x') < f(x^{\\ast})$。\n",
    "根据凸性的性质，\n",
    "\n",
    "$$\\begin{aligned}\n",
    "    f(\\lambda x^{\\ast} + (1-\\lambda) x') &\\leq \\lambda f(x^{\\ast}) + (1-\\lambda) f(x') \\\\\n",
    "    &< \\lambda f(x^{\\ast}) + (1-\\lambda) f(x^{\\ast}) \\\\\n",
    "    &= f(x^{\\ast}), \\\\\n",
    "\\end{aligned}$$\n",
    "\n",
    "这与$x^{\\ast}$是局部最小值相矛盾。\n",
    "因此，对于$f(x') < f(x^{\\ast})$不存在$x' \\in \\mathcal{X}$。\n",
    "综上所述，局部最小值$x^{\\ast}$也是全局最小值。\n",
    "\n",
    "例如，对于凸函数$f(x) = (x-1)^2$，有一个局部最小值$x=1$，它也是全局最小值。\n"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "Function<Float, Float> f = x -> (x - 1) * (x - 1) * (x + 1);\n",
    "\n",
    "float[] fx = Functions.callFunc(x, f);\n",
    "plotLineAndSegment(x, fx, segment, f, 400, 350);"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "凸函数的局部极小值同时也是全局极小值这一性质是很方便的。\n",
    "这意味着如果我们最小化函数，我们就不会“卡住”。\n",
    "但是，请注意，这并不意味着不能有多个全局最小值，或者可能不存在一个全局最小值。\n",
    "例如，函数$f(x) = \\mathrm{max}(|x|-1, 0)$在$[-1,1]$区间上都是最小值。\n",
    "相反，函数$f(x) = \\exp(x)$在$\\mathbb{R}$上没有取得最小值。对于$x \\to -\\infty$，它趋近于$0$，但是没有$f(x) = 0$的$x$。\n",
    "\n",
    "### 水平集的凸函数\n",
    "\n",
    "凸函数将凸集定义为*水平集*（below sets）。它们定义为：\n",
    "\n",
    "$$\\mathcal{S}_b := \\{x | x \\in \\mathcal{X} \\text{ and } f(x) \\leq b\\}$$\n",
    "\n",
    "这样的集合是凸的。\n",
    "让我们快速证明一下。\n",
    "对于任何$x, x' \\in \\mathcal{S}_b$，我们需要证明：当$\\lambda \\in [0, 1]$，$\\lambda x + (1-\\lambda) x' \\in \\mathcal{S}_b$。\n",
    "因为$f(x) \\leq b$且$f(x') \\leq b$，所以\n",
    "\n",
    "$$f(\\lambda x + (1-\\lambda) x') \\leq \\lambda f(x) + (1-\\lambda) f(x') \\leq b.$$\n",
    "\n",
    "### 凸性和二阶导数\n",
    "\n",
    "当一个函数的二阶导数$f: \\mathbb{R}^n \\rightarrow \\mathbb{R}$存在时，我们很容易检查这个函数的凸性。\n",
    "我们需要做的就是检查$\\nabla^2f \\succeq 0$，\n",
    "即对于所有$\\mathbf{x} \\in \\mathbb{R}^n$，$\\mathbf{x}^\\top \\mathbf{H} \\mathbf{x} \\geq 0$.\n",
    "例如，函数$f(\\mathbf{x}) = \\frac{1}{2} \\|\\mathbf{x}\\|^2$是凸的，因为$\\nabla^2 f = \\mathbf{1}$，即其导数是单位矩阵。\n",
    "\n",
    "更正式的讲，$f$为凸函数，当且仅当任意二次可微一维函数$f: \\mathbb{R}^n \\rightarrow \\mathbb{R}$是凸的。\n",
    "对于任意二次可微多维函数$f: \\mathbb{R}^{n} \\rightarrow \\mathbb{R}$，\n",
    "它是凸的当且仅当它的Hessian$\\nabla^2f\\succeq 0$。\n",
    "\n",
    "首先，我们来证明一下一维情况。\n",
    "为了证明凸函数的$f''(x) \\geq 0$，我们使用：\n",
    "\n",
    "$$\\frac{1}{2} f(x + \\epsilon) + \\frac{1}{2} f(x - \\epsilon) \\geq f\\left(\\frac{x + \\epsilon}{2} + \\frac{x - \\epsilon}{2}\\right) = f(x).$$\n",
    "\n",
    "因为二阶导数是由有限差分的极限给出的，所以遵循\n",
    "\n",
    "$$f''(x) = \\lim_{\\epsilon \\to 0} \\frac{f(x+\\epsilon) + f(x - \\epsilon) - 2f(x)}{\\epsilon^2} \\geq 0.$$\n",
    "\n",
    "为了证明$f'' \\geq 0$可以推导$f$是凸的，\n",
    "我们使用这样一个事实：$f'' \\geq 0$意味着$f'$是一个单调的非递减函数。\n",
    "假设$a < x < b$是$\\mathbb{R}$中的三个点，\n",
    "其中，$x = (1-\\lambda)a + \\lambda b$且$\\lambda \\in (0, 1)$.\n",
    "根据中值定理，存在$\\alpha \\in [a, x]$，$\\beta \\in [x, b]$，使得\n",
    "$$f'(\\alpha) = \\frac{f(x) - f(a)}{x-a} \\text{ 且 } f'(\\beta) = \\frac{f(b) - f(x)}{b-x}.$$\n",
    "\n",
    "通过单调性$f'(\\beta) \\geq f'(\\alpha)$，因此\n",
    "\n",
    "$$\\frac{x-a}{b-a}f(b) + \\frac{b-x}{b-a}f(a) \\geq f(x).$$\n",
    "\n",
    "由于$x = (1-\\lambda)a + \\lambda b$，所以\n",
    "\n",
    "$$\\lambda f(b) + (1-\\lambda)f(a) \\geq f((1-\\lambda)a + \\lambda b),$$\n",
    "\n",
    "从而证明了凸性。\n",
    "\n",
    "第二，我们需要一个引理证明多维情况：\n",
    "$f: \\mathbb{R}^n \\rightarrow \\mathbb{R}$\n",
    "是凸的当且仅当对于所有$\\mathbf{x}, \\mathbf{y} \\in \\mathbb{R}^n$\n",
    "\n",
    "$$g(z) \\stackrel{\\mathrm{def}}{=} f(z \\mathbf{x} + (1-z)  \\mathbf{y}) \\text{ where } z \\in [0,1]$$ \n",
    "\n",
    "是凸的。\n",
    "\n",
    "为了证明$f$的凸性意味着$g$是凸的，\n",
    "我们可以证明，对于所有的$a，b，\\lambda \\in[0，1]$，\n",
    "$0 \\leq \\lambda a + (1-\\lambda) b \\leq 1$。\n",
    "\n",
    "$$\\begin{aligned} &g(\\lambda a + (1-\\lambda) b)\\\\\n",
    "=&f\\left(\\left(\\lambda a + (1-\\lambda) b\\right)\\mathbf{x} + \\left(1-\\lambda a - (1-\\lambda) b\\right)\\mathbf{y} \\right)\\\\\n",
    "=&f\\left(\\lambda \\left(a \\mathbf{x} + (1-a)  \\mathbf{y}\\right)  + (1-\\lambda) \\left(b \\mathbf{x} + (1-b)  \\mathbf{y}\\right) \\right)\\\\\n",
    "\\leq& \\lambda f\\left(a \\mathbf{x} + (1-a)  \\mathbf{y}\\right)  + (1-\\lambda) f\\left(b \\mathbf{x} + (1-b)  \\mathbf{y}\\right) \\\\\n",
    "=& \\lambda g(a) + (1-\\lambda) g(b).\n",
    "\\end{aligned}$$\n",
    "\n",
    "为了证明这一点，我们可以展示给你看\n",
    "$[0，1]$中所有的$\\lambda$：\n",
    "\n",
    "$$\\begin{aligned} &f(\\lambda \\mathbf{x} + (1-\\lambda) \\mathbf{y})\\\\\n",
    "=&g(\\lambda \\cdot 1 + (1-\\lambda) \\cdot 0)\\\\\n",
    "\\leq& \\lambda g(1)  + (1-\\lambda) g(0) \\\\\n",
    "=& \\lambda f(\\mathbf{x}) + (1-\\lambda) g(\\mathbf{y}).\n",
    "\\end{aligned}$$\n",
    "\n",
    "最后，利用上面的引理和一维情况的结果，我们可以证明多维情况：\n",
    "多维函数$f:\\mathbb{R}^n\\rightarrow\\mathbb{R}$是凸函数，当且仅当$g(z) \\stackrel{\\mathrm{def}}{=} f(z \\mathbf{x} + (1-z)  \\mathbf{y})$是凸的，这里$z \\in [0,1]$，$\\mathbf{x}, \\mathbf{y} \\in \\mathbb{R}^n$。\n",
    "根据一维情况，\n",
    "当且仅当对于所有$\\mathbf{x}, \\mathbf{y} \\in \\mathbb{R}^n$，\n",
    "$g'' = (\\mathbf{x} - \\mathbf{y})^\\top \\mathbf{H}(\\mathbf{x} - \\mathbf{y}) \\geq 0$（$\\mathbf{H} \\stackrel{\\mathrm{def}}{=} \\nabla^2f$）。\n",
    "这相当于根据半正定矩阵的定义，$\\mathbf{H} \\succeq 0$。\n",
    "\n",
    "## 约束\n",
    "\n",
    "凸优化的一个很好的特性是能够让我们有效地处理*约束*（constraints）。\n",
    "即它使我们能够解决以下形式的*约束优化*（constrained optimization）问题：\n",
    "\n",
    "$$\\begin{aligned} \\mathop{\\mathrm{minimize~}}_{\\mathbf{x}} & f(\\mathbf{x}) \\\\\n",
    "    \\text{ subject to } & c_i(\\mathbf{x}) \\leq 0 \\text{ for all } i \\in \\{1, \\ldots, N\\}.\n",
    "\\end{aligned}$$\n",
    "\n",
    "这里$f$是目标函数，$c_i$是约束函数。\n",
    "例如第一个约束$c_1(\\mathbf{x}) = \\|\\mathbf{x}\\|_2 - 1$，则参数$\\mathbf{x}$被限制为单位球。\n",
    "如果第二个约束$c_2(\\mathbf{x}) = \\mathbf{v}^\\top \\mathbf{x} + b$，那么这对应于半空间上所有的$\\mathbf{x}$。\n",
    "同时满足这两个约束等于选择一个球的切片作为约束集。\n",
    "\n",
    "### 拉格朗日函数\n",
    "\n",
    "通常，求解一个有约束的优化问题是困难的，解决这个问题的一种方法来自物理中相当简单的直觉。\n",
    "想象一个球在一个盒子里，球会滚到最低的地方，重力将与盒子两侧对球施加的力平衡。\n",
    "简而言之，目标函数（即重力）的梯度将被约束函数的梯度所抵消（由于墙壁的“推回”作用，需要保持在盒子内）。\n",
    "请注意，任何不起作用的约束（即球不接触壁）都将无法对球施加任何力。\n",
    "\n",
    "这里我们简略拉格朗日函数$L$的推导，上述推理可以通过以下鞍点优化问题来表示：\n",
    "\n",
    "$$L(\\mathbf{x}, \\alpha_1, \\ldots, \\alpha_n) = f(\\mathbf{x}) + \\sum_{i=1}^n \\alpha_i c_i(\\mathbf{x}) \\text{ where } \\alpha_i \\geq 0.$$\n",
    "\n",
    "这里的变量$\\alpha_i$（$i=1,\\ldots,n$）是所谓的*拉格朗日乘数*（Lagrange multipliers），它确保约束被正确地执行。\n",
    "选择它们的大小足以确保所有$i$的$c_i(\\mathbf{x}) \\leq 0$。\n",
    "例如，对于$c_i(\\mathbf{x}) < 0$中任意$\\mathbf{x}$，我们最终会选择$\\alpha_i = 0$。\n",
    "此外，这是一个*鞍点*（saddlepoint）优化问题。\n",
    "在这个问题中，我们想要使$L$相对于$\\alpha_i$*最大化*（maximize），同时使它相对于$\\mathbf{x}$*最小化*（minimize）。\n",
    "有大量的文献解释如何得出函数$L(\\mathbf{x}, \\alpha_1, \\ldots, \\alpha_n)$。\n",
    "我们这里只需要知道$L$的鞍点是原始约束优化问题的最优解就足够了。\n",
    "\n",
    "### 惩罚\n",
    "\n",
    "一种至少近似地满足约束优化问题的方法是采用拉格朗日函数$L$。除了满足$c_i(\\mathbf{x}) \\leq 0$之外，我们只需将$\\alpha_i c_i(\\mathbf{x})$添加到目标函数$f(x)$。\n",
    "这样可以确保不会严重违反约束。\n",
    "\n",
    "事实上，我们一直在使用这个技巧。\n",
    "比如权重衰减 :numref:`sec_weight_decay`，在目标函数中加入$\\frac{\\lambda}{2} |\\mathbf{w}|^2$，以确保$\\mathbf{w}$不会增长太大。\n",
    "使用约束优化的观点，我们可以看到，对于若干半径$r$，这将确保$|\\mathbf{w}|^2 - r^2 \\leq 0$。\n",
    "通过调整$\\lambda$的值，我们可以改变$\\mathbf{w}$的大小。\n",
    "\n",
    "通常，添加惩罚是确保近似满足约束的一种好方法。\n",
    "在实践中，这被证明比精确的满意度更可靠。\n",
    "此外，对于非凸问题，许多使精确方法在凸情况下的性质（例如，可求最优解）不再成立。\n",
    "\n",
    "### 投影\n",
    "\n",
    "满足约束条件的另一种策略是*投影*（projections）。\n",
    "同样，我们之前也遇到过，例如在处理梯度截断 :numref:`sec_rnn_scratch`时，我们确保梯度的长度以$\\theta$为界限，通过\n",
    "\n",
    "$$\\mathbf{g} \\leftarrow \\mathbf{g} \\cdot \\mathrm{min}(1, \\theta/\\|\\mathbf{g}\\|).$$\n",
    "\n",
    "这就是$\\mathbf{g}$在半径为$\\theta$的球上的*投影*（projection）。\n",
    "更泛化的说，在凸集$\\mathcal{X}$上的投影被定义为\n",
    "\n",
    "$$\\mathrm{Proj}_\\mathcal{X}(\\mathbf{x}) = \\mathop{\\mathrm{argmin}}_{\\mathbf{x}' \\in \\mathcal{X}} \\|\\mathbf{x} - \\mathbf{x}'\\|.$$\n",
    "\n",
    "它是$\\mathcal{X}$中离$\\mathbf{X}$最近的点。\n",
    "\n",
    "![Convex Projections.](https://d2l.ai/_images/projections.svg)\n",
    ":label:`fig_projections`\n",
    "\n",
    "投影的数学定义听起来可能有点抽象，为了解释得更清楚一些，请看 :numref:`fig_projections`。\n",
    "图中有两个凸集，一个圆和一个菱形。\n",
    "两个集合内的点（黄色）在投影期间保持不变。\n",
    "两个集合（黑色）之外的点投影到集合中接近原始点（黑色）的点（红色）。\n",
    "虽然对于$L_2$的球面来说，方向保持不变，但一般情况下不需要这样。\n",
    "\n",
    "凸投影的一个用途是计算稀疏权重向量。\n",
    "在本例中，我们将权重向量投影到一个$L_1$的球上，\n",
    "这是钻石例子的一个广义版本，在 :numref:`fig_projections`。\n",
    "\n",
    "## 小结\n",
    "\n",
    "在深度学习的背景下，凸函数的主要目的是帮助我们详细了解优化算法。\n",
    "我们由此得出梯度下降法和随机梯度下降法是如何相应推导出来的。\n",
    "\n",
    "* 凸集的交点是凸的，并集不是。\n",
    "* 根据詹森不等式，“一个多变量凸函数的总期望值”大于或等于“用每个变量的期望值计算这个函数的总值“。\n",
    "* 一个二次可微函数是凸函数，当且仅当其Hessian（二阶导数矩阵）是半正定的。\n",
    "* 凸约束可以通过拉格朗日函数来添加。在实践中，只需在目标函数中加上一个惩罚就可以了。\n",
    "* 投影映射到凸集中最接近原始点的点。\n",
    "\n",
    "## 练习 \n",
    "\n",
    "1. 假设我们想要通过绘制集合内点之间的所有直线并检查这些直线是否包含来验证集合的凸性。\n",
    "i.证明只检查边界上的点是充分的。\n",
    "ii.证明只检查集合的顶点是充分的。\n",
    "2. 用$p$-范数表示半径为$r$的球，证明$\\mathcal{B}_p[r] := \\{\\mathbf{x} | \\mathbf{x} \\in \\mathbb{R}^d \\text{ and } \\|\\mathbf{x}\\|_p \\leq r\\}$，$\\mathcal{B}_p[r]$对于所有$p \\geq 1$是凸的。\n",
    "\n",
    "3. 已知凸函数$f$和$g$表明$\\mathrm{max}(f, g)$也是凸函数。证明$\\mathrm{min}(f, g)$是非凸的。\n",
    "\n",
    "4. 证明Softmax函数的规范化是凸的，即$f(x) = \\log \\sum_i \\exp(x_i)$的凸性。\n",
    "\n",
    "5. 证明线性子空间$\\mathcal{X} = {\\mathbf{X} | \\mathbf{W} \\mathbf{X} = \\mathbf{b}}$是凸集。\n",
    "\n",
    "6. 证明在线性子空间$\\mathbf{b} = \\mathbf{0}$的情况下，对于矩阵$\\mathbf{M}$的投影$\\mathrm {Proj} \\mathcal{X}$可以写成$\\mathbf{M} \\mathbf{X}$。\n",
    "\n",
    "7. 证明对于凸二次可微函数$f$，对于$\\xi \\in [0, \\epsilon]$，我们可以写成$f(x + \\epsilon) = f(x) + \\epsilon f'(x) + \\frac{1}{2} \\epsilon^2 f''(x + \\xi)$。\n",
    "\n",
    "8. 给定一个向量$\\mathbf{w} \\in \\mathbb{R}^d$与$|\\mathbf{w}| 1 > 1$计算在$L_1$单位球上的投影。\n",
    "i.作为中间步骤，写出惩罚目标$|\\mathbf{w} - \\mathbf{w}'|_2^2 + \\lambda |\\mathbf{w}'|_1$，计算给定$\\lambda > 0$的解。\n",
    "ii.你能无须反复试错就找到$\\lambda$的“正确”值吗？\n",
    "\n",
    "9. 给定一个凸集$\\mathcal{X}$和两个向量$\\mathbf{X}$和$\\mathbf{y}$证明了投影不会增加距离，即$\\|\\mathbf{x} - \\mathbf{y}\\| \\geq \\|\\mathrm{Proj}_\\mathcal{X}(\\mathbf{x}) - \\mathrm{Proj}_\\mathcal{X}(\\mathbf{y})\\|$。\n"
   ]
  }
 ],
 "metadata": {
  "kernelspec": {
   "display_name": "Java",
   "language": "java",
   "name": "java"
  },
  "language_info": {
   "codemirror_mode": "java",
   "file_extension": ".jshell",
   "mimetype": "text/x-java-source",
   "name": "Java",
   "pygments_lexer": "java",
   "version": "14.0.2+12"
  }
 },
 "nbformat": 4,
 "nbformat_minor": 4
}
